Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
نویسندگان
چکیده
منابع مشابه
Validating High-Level Synthesis
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the process of generating Register Transfer Level (RTL) design from these initial high-level programs. Unfortunately, this translation process itself can be buggy, which can create a mismatch between what a designer intends ...
متن کاملAutomated Verification of Electrum Wallet
We introduce a formal modeling in ASLan++ of the twofactor authentication protocol used by the Electrum Bitcoin wallet. This allows us to perform an automatic analysis of the wallet and show that it is secure for standard scenarios in Dolev Yao model [Dolev 1981]. The result could be derived thanks to some advanced features of the protocol analyzer such as the possibility to specify i) new intr...
متن کاملValidating The Airspace Concept Evaluation System Using Real World Data
This paper discusses a process for validating the Airspace Concept Evaluation System using real world historical flight operational data. ACES inputs are generated from select real world data and processed to create a realistic reproduction of a single day’s operations within the National Airspace System. ACES outputs are then compared to real world operational metrics and delay statistics for ...
متن کاملValidating UML simulation models with model-level unit tests
We describe model-level unit tests for model-driven simulation based on UML models. We refer to the well-known unit testing method and apply this concept on a higher abstraction level, that is on UML simulation models. The concept of model-based simulation has become more and more popular throughout the last years. This trend is fostered by the availability of tools that automatically transform...
متن کاملValidating System-Level Error Recovery for Spacecraft
The system-level software onboard a spacecraft is responsible for recovery from communication, thermal, power, and computer-health anomalies that may occur. The recovery must occur without disrupting any critical scientiic or engineering activity that is executing at the time of the error. Thus, the error-recovery software may have to execute concurrently with the ongoing acquisition of scienti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2019
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-019-00540-4